Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Concolic Testing
Symbolic Execution, SAGE, Path Exploration, Dynamic Analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28874
posts in
17.7
ms
Testing AI Agents:
Deterministic
Evaluation
in a
Non-Deterministic
World
sitepoint.com
·
5h
🧪
Property-Based Testing
Context-Aware
Functional
Test Generation via Business Logic
Extraction
and Adaptation
arxiv.org
·
20h
🧪
Property-Based Testing
Lean
and AI caught a bug in my 2-year-old
TLA
+ spec
medium.com
·
16h
·
Discuss:
Hacker News
🏛️
Agda
Invariant-Driven
Automated
Testing
arxiv.org
·
20h
⚡
Proof Automation
Verilog
Testbench
Essentials
hackster.io
·
1d
🔍
FPGA Verification
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
⚔️
Lean Tactics
Software Testing With Test Case Design
Techniques
qable.io
·
3d
🧪
Property-Based Testing
Software Engineering in the
Agentic
AI Era
blog.scottlogic.com
·
1d
⚡
Incremental Computation
Independent
blind
pairwise
testing for AI safety
tsarena.ai
·
1d
·
Discuss:
Hacker News
🎯
Threat Hunting
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
8h
🔧
Hardware Verification
Building Self-Healing Infrastructure Using Observability,
AIOps
and Automated Incident
Remediation
hackernoon.com
·
10h
🏠
Home Automation
Inception
Labs
says its diffusion LLM is 10x faster than Claude, ChatGPT, Gemini
thenewstack.io
·
4h
🖥️
Terminal Renaissance
Static
taint
analysis for LLM agents
deepclause.substack.com
·
21h
·
Discuss:
Substack
🐛
Fuzzing
Docker
Scout
vs Traditional Container
Scanners
: Why Context Beats CVE Noise
hackernoon.com
·
18h
📦
Container Security
Verified
Spec-Driven
Development (
VSDD
)
gist.github.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔄
Reproducible Builds
GH
Action
analyzes
changes, checks behavior change and generates Playwright test
github.com
·
1h
·
Discuss:
Hacker News
🧪
Property-Based Testing
Downstream
Testing
nesbitt.io
·
2d
·
Discuss:
Hacker News
🔄
Reproducible Builds
An
Introduction
to
Lean
4
uv.es
·
2d
⚔️
Lean Tactics
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
3h
·
Discuss:
Hacker News
🧬
Functional Programming
Zevi
's AI Development
Workflow
shorthaired-billboard-f9a.notion.site
·
1d
⚡
Proof Automation
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help